Convert for loop to while loop in Python